# (decoded with TMPL 128)
*****: (EOF-terminated list)